$\forall$$A$, $B$, $C$:IMonoid, $f$:MonHom($A$,$B$), $g$:MonHom($B$,$C$). ($g$ o $f$) $\in$ MonHom($A$,$C$)